Bisimulation for Feller-Dynkin Processes
نویسندگان
چکیده
منابع مشابه
Feller Processes and Semigroups
For convenience, we can have a look at the list of materials contained in this lecture first. Note here we always consider the time-homogenous Markov processes. • Transition kernels μt, t ≥ 0 ←→ transition operators semigroup Tt, t ≥ 0. • Feller semigroup Tt, t ≥ 0 • Feller processes • existence • every Feller process has a cadlag version • regularization theorem for submartingale • strong Mark...
متن کاملOpen Bisimulation for Quantum Processes
Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between quantum processes. We also give a modal characterisation of open bisimulation, by extending the Hennessy-Mil...
متن کاملBisimulation for Labelled Markov Processes
In this paper we introduce a new class of labelled transition systems Labelled Markov Processes and define bisimulation for them. Labelled Markov processes are probabilistic labelled transition systems where the state space is not necessarily discrete, it could be the reals, for example. We assume that it is a Polish space (the underlying topological space for a complete separable metric space)...
متن کاملThree Metric Domains of Processes for Bisimulation Three Metric Domains of Processes for Bisimulation
A new metric domain of processes is presented. This domain is located in between two metric process domains introduced by De Bakker and Zucker. The new process domain characterizes the collection of image nite processes. This domain has as advantages over the other process domains that no complications arise in the deenitions of operators like sequential composition and parallel composition, an...
متن کاملOn Additive Time-changes of Feller Processes
In this note we generalise the Phillips theorem [1] on the subordination of Feller processes by Lévy subordinators to the class of additive subordinators (i.e. subordinators with independent but possibly nonstationary increments). In the case where the original Feller process is Lévy we also express the time-dependent characteristics of the subordinated process in terms of the characteristics o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2019
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2019.09.004